Nuprl Definition : eclor?
0,22
postcript
pdf
eclor?(
x
)
== ecl_ind(
x
;
k
,
test
.false
;
a
,
b
,
rec1
,
rec2
.false
;
a
,
b
,
rec1
,
rec2
.false
;
a
,
b
,
rec1
,
rec2
.true
;
a
,
rec1
.false
;
a
,
n
,
rec1
.false
;
a
,
n
,
rec1
.false
;
a
,
l
,
rec1
.false
)
latex
Definitions
ecl
ind
,
true
,
false
FDL editor aliases
eclor?
origin